#!/dis/sh
tmp = pdflatex.sh.${pid}
echo 'export TEXINPUTS=.:/home/jcatena/texmf/inputs:
pdflatex "$@"' > $tmp
chmod +x $tmp
os -d`{hp `{pwd}} sh $tmp $*
rm -f $tmp
